tools/check: Add files missing from 24205:5c88358164cc

Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/tools/check/check_libaio_devel b/tools/check/check_libaio_devel
new file mode 100755 (executable)
index 0000000..6cf42b7
--- /dev/null
+++ b/tools/check/check_libaio_devel
@@ -0,0 +1,11 @@
+#!/bin/sh
+# CHECK-BUILD
+
+. ./funcs.sh
+
+if [ X${CONFIG_SYSTEM_LIBAIO} != X"y" ] ; then
+    exit 0
+fi
+if ! has_header libaio.h ; then
+    fail "can't find libaio headers, install libaio devel package or set CONFIG_SYSTEM_LIBAIO=n"
+fi

diff --git a/tools/check/check_libaio_lib b/tools/check/check_libaio_lib
new file mode 100755 (executable)
index 0000000..40bafa2
--- /dev/null
+++ b/tools/check/check_libaio_lib
@@ -0,0 +1,9 @@
+#!/bin/sh
+# CHECK-BUILD CHECK-INSTALL
+
+. ./funcs.sh
+
+if [ X${CONFIG_SYSTEM_LIBAIO} != X"y" ] ; then
+    exit 0
+fi
+has_lib libaio.so || fail "can't find libaio"